1. Artificial Intelligence in Education
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Education. ; Social sciences ; Data processing. ; Data mining. ; Computer science. ; Software engineering. ; Artificial Intelligence. ;
2. Artificial Intelligence in Education :
Author: edited by Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data mining.,Education.,Social sciences-- Data processing.,Software engineering.,Artificial intelligence-- Educational applications.
Classification :
LB1028
.
43
.
A78
2019eb
3. Artificial Intelligence in Education
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ; Education. ; Social sciences ; Data processing. ; Data mining. ; Computer science. ; Software engineering. ; Artificial Intelligence. ;
4. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
5. Compositional Verification of Concurrent and Real-Time Systems
Author: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
6. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
7. Digital Product and Process Development Systems
Author: edited by George L. Kovács, Detlef Kochan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Business-- Data processing.,Computer science.,Computer-aided engineering.,Information technology.
8. Engineering modeling languages :
Author: Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jézéquel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development.,Engineering -- Data processing.,Modeling languages (Computer science)
Classification :
TA343
.
B466
9999
9. Euro-Par 2011 Parallel Processing
Author: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
10. Facing the Multicore - Challenge II
Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
11. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
12. High Integrity Software
Author: edited by Victor L. Winter, Sourav Bhattacharya.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.,Systems theory.
13. Mensch-Computer-Kommunikation :
Author: herausgegeben von Heinz-Dieter Böcker, Wolfgang Glatthaar, Thomas Strothotte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Medical records -- Data processing.,Software engineering.
Classification :
QA76
.
9
.
H85
H473
1993
14. Optimierung objektorientierter Programme :
Author: von Martin Trapp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
15. Software engineering for science /
Author: edited by Jeffrey C. Carver, Neil P. Chue Hong, George K. Thiruvathukal
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science-- Data processing,Software engineering
Classification :
Q183
.
9
.
S74
2017
16. Software engineering techniques applied to agricultural system
Author: / by Petraq J. Papajorgji, Panos M. Pardalos
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Agriculture--Data processing,Software engineering.,Object-oriented programming (Computer science),UML (Computer science)
Classification :
S
,
494
.
5
,.
D3
,
P27
,
2006
17. Software engineering techniques applied to agricultural systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming (Computer science) ; UML (Computer science) ; -Agriculture ; Data processing. ; Software engineering. ; Object
18. Software engineering techniques applied to agricultural systems
Author: by Petraq J. Papajorgji, Panos M. Pardalos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Agriculture-- Data processing.,Object-oriented programming (Computer science),Software engineering.,UML (Computer science)
19. Techniken der objektorientierten Softwareentwicklung
Author: herausgegeben von Jörg Noack.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
20. Termersetzungssysteme :
Author: von Klaus Drosten.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
R48
V665
1989
